Module interconnection languages
نویسندگان
چکیده
M o d u l e I n t e r c o n n e c t i o n L a n g u a g e s ( M I L s ) a r e b a s e d o n t h e d i f f e r e n c e b e t w e e n _ _ _ _ P r o g r a m m i n g i n t h e l a r g e ( P L ) a n d P r o g r a m m i n g i n t h e s m a l l ( P S ) . T h e p r i m a r y difference between PL and PS is that “structuring a large collection of modules to form a s y s t e m ( P L ) i s a n e s s e n t i a l l y d i f f e r e n t i n t e l l e c t u a l a c t i v i t y f r o m t h a t o f c o n s t r u c t i n g t h e individual modules (PS)”[DERE76]. Architects of a large system are primarily concerned with the process of “knitting” system modules together rather than with the process of programming each module.
منابع مشابه
A theory model core for module interconnection languages
The Theory–Model paradigm is a way of thinking about design methods. The theory of a method specifies categories of information and axioms about them. A particular design is an interpretation of the theory if it assigns meaning to all of the categories, and is a model if it satisfies all of the axioms. Module Interconnection Languages (MILs) describe and enforce the modular structure of systems...
متن کاملA Framework for Specifying and Visualizing Architectural Designs
Architectural designs specify the components of a software system, their interfaces, and their interrelationships. Module Interconnection Languages (MILs) are useful for specifying architectural designs, but lack an intuitive visual representation similar to the visual design notations found in CASE tools. This paper presents a framework for formally de ning the syntax and semantics of language...
متن کاملUML, The Future Standard Software Architecture Description Language?
The object-oriented Unified Modeling Language (UML) which has become OMG standard offers a great variety of concepts for the definition of the structure and the expected behavior of a software system. It has the potential to replace many previously used software architecture description languages. This is especially true for the subset of so-called module interconnection languages. Compared wit...
متن کاملXDR Binding to LISP
We describe a binding of the XDR protocol to the Common LISP programming language and the binding's routine's library implementation. The implementation solves compatibility problems arising in the exchange of structured data between modules coded in diierent programming languages and/or hosted by computing environments with diierent hardware architectures. Our facility is used for module inter...
متن کاملA Case for Declarative Programming-in-the-Large
We characterise and distinguish Programming-in-the-Small (PitS) and Programming-in-the-Large (PitL): the former is mainly concerned with specifying run-time computational structures and parameterisation; the latter with configuration structures and build-time parameterisation. We claim that PitL regimes have not been conceived and developed with the principles, rigour and conceptual insight tha...
متن کاملDatabase Challenge : Single Schema Database Management Systems 1
Many data-intensive applications require high-performance data management facilities, but utilize only a small fraction of the power of a general-purpose database system (DBMS). We believe single schema database systems (SSDs), i.e., special-purpose DBMSs that are designed for a single schema and a predeclared set of database operations, are a vital need of today’s software industry. The challe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Systems and Software
دوره 6 شماره
صفحات -
تاریخ انتشار 1986